There is No Paradox of Logical Validity
نویسنده
چکیده
A number of arguments, including (Whittle 2004), (Field 2008), (Shapiro 2012), and (Beall & Murzi 2012), have been put forward for the claim that logical validity is plagued by a paradox (or paradoxes) similar to the more well-known paradoxes that afflict notions such as truth, knowledge, or set. These claims are incorrect. As I will show here, there is no paradox of logical validity. In addition, I will demonstrate that a recent argument (Ketland 2012) against the existence of a paradox of logical validity, although promoting the right conclusion, nevertheless provides a partially mistaken picture of what goes wrong in the arguments for the existence of such a paradox. Further, and perhaps most importantly, this analysis of the purported paradox of logical validity brings with it important lessons regarding the kinds of inferences that can be taken to be logically valid (versus, e.g., merely truth-preserving). There is general agreement amongst those who have put forward one or another version of the paradox that the stakes are high. Of course, almost no one in this group agrees on exactly what these high stakes are: Whittle argues that the paradox shows that a dialethiest, such as (Priest 2002), will need to appeal to a Tarski-like hierarchy of logical validity predicates; Field uses the paradox to (among other things) suggest that validity does not preserve truth; and Shapiro and Beall & Murzi argue (independently) that the paradox forces us to give up the structural rule of contraction.1 Thus, the conclusions drawn from the purported paradox of validity are varied, and in the latter case, at least, the paradox is not the only evidence marshalled for the conclusion in question. Thus, I will not attempt to examine any of these further claims directly. Instead, I will be content to show that there is no paradox of logical validity. As a result, whatever other arguments one might have, this supposed paradox provides no additional support for the views just listed.
منابع مشابه
Paradox and Relativism
Since the time of Plato, relativism has been attacked as a self-refuting theory. Today, there are two basic kinds of argument that are used to show that global relativism is logically incoherent: first, a direct descendent of the argument Plato uses against Protagoras, called the peritrope; and, second, a more recent argument that relativism leads to an infinite regress. Although some relativis...
متن کاملBasic Logic and Quantum Entanglement
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But...can it be made explicit? In other words, is it possible to find the connective "entanglement" in a...
متن کاملRevisiting the connection between the no-show paradox and monotonicity
We investigate the relation between monotonicity and the no-show paradox in voting rules. Although the literature has established their logical independence, we show, by presenting logical dependency results, that the two conditions are closer than a general logical independency result would suggest. Our analysis is made both under variable and fixed-size electorates.
متن کاملJustifiable Group Choice1
We study the judgment aggregation problem from the perspective of justifying a particular collective decision by a corresponding aggregation on the criteria. In particular, we characterize the logical relations between the decision and the criteria that enable justification of a majority decision through a proposition-wise aggregation rule with no veto power on the criteria. While the well-stud...
متن کاملWhy Knowledge Should Not Be Typed: An Argument against the Type Solution to the Knowability Paradox
The Knowability Paradox is a logical argument to the effect that, if there are truths not actually known, then there are unknowable truths. Recently, Alexander Paseau and Bernard Linsky have independently suggested a possible way to counter this argument by typing knowledge. In this article, we argue against their proposal that if one abstracts from other possible independent considerations sup...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logica Universalis
دوره 8 شماره
صفحات -
تاریخ انتشار 2014